<?php
echo bonjour;
?>